Detecting Data-Flow Errors in BPMN 2.0
نویسندگان
چکیده
Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular, since BPMN 2.0 with a standardized execution semantics allows specifying alternatives for data as well as optional data, identifying missing or unused data systematically is difficult. In this paper, we propose an approach for detecting data-flow errors in BPMN 2.0 process models. We formalize BPMN process models by mapping them to Petri Nets and unfolding the execution semantics regarding data. We define a set of anti-patterns representing data-flow errors of BPMN 2.0 process models. By employing the anti-patterns, our tool performs model checking for the unfolded Petri Nets. The evaluation shows that it detects all data-flow errors identified by hand, and so improves process quality. TYPE OF PAPER AND
منابع مشابه
Diagnosing and Repairing Data Anomalies in Process Models
When using process models for automation, correctness of the models is a key requirement. While many approaches concentrate on control flow verification only, correct data flow modeling is of similar importance. This paper introduces an approach for detecting and repairing modeling errors that only occur in the interplay between control flow and data flow. The approach is based on place/transit...
متن کاملBusiness Process Modelling in Production Logistics: Complementary Use of BPMN and UML
This paper investigates the suitability and sufficincy of BPMN language in business process modelling. Production logistics system is modeled at the highest domain level using case study in car component industry to examine the language in every aspect. Modelling is carried out in a modular basis for three main sub-systems generally using BPMN 2.0. Complementary use of other modeling tool to co...
متن کاملFaster Or-Join Enactment for BPMN 2.0
We propose an efficient algorithm that enacts the control-flow of BPMN, in particular the inclusive Or-join gateway. The original algorithm for enacting Or-joins in BPMN 2.0 needs, upon each token move in the diagram, linear time in the number of edges of the diagram to find out whether a given Or-join is enabled, whereas our proposal essentially needs only constant time to do so.
متن کاملEnhancing BPMN 2.0 informational perspective to support interoperability for cross-organizational business processes
Business Process Modeling Notation (BPMN) is being adopted as one of the industry standards for modeling cross-organizational business processes (CBPs). BPMN analyzes a business process as a set of interrelated activities, focusing primarily on the functional perspective of the process. However, for successful CBP modeling, an informational perspective is important. Although BPMN 2.0 supports i...
متن کاملIT4BI Master Thesis Representing ETL Flows with BPMN 2.0
Extract, Transform and Load (ETL) processes are widely used in Data Warehousing in order to extract, cleanse and load data into a centralized location for better analysis and decision-making. As users become more demanding for on-line decision making, ETL processes grow large and more complex. Most processes are deployed at the physical level without any abstraction, thus costs of maintenance a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- OJIS
دوره 1 شماره
صفحات -
تاریخ انتشار 2014